341. Church's Thesis after 70 years /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Church, Alonzo,1903-1995,Logic, Symbolic and mathematical

رده :
QA9
.
C58
2006

342. Classical mathematical logic : the semantic foundations of logic

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Logic, Symbolic and mathematical,، Semantics )Philosophy(

رده :
QA
9
.
E67C56

343. Clausal form logic : an introduction to the logic of computer reasoning

پدیدآورنده :

کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)

موضوع : ، Expert systems )Computer science(,، Artificial intelligence,، Logic, Symbolic and mathematical,، Reasoning

344. Closure Spaces and Logic

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical.,Logic.,Mathematics.,Topology.

345. Closure properties and kripke models for fragments of heyting arithmetic

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Intuitionistic mathematics,Constructive mathematics,Logic, Symbolic and mathematical,Arithmetic,Kripke, Saul A., 1940-,Heyting, Arend, 1898-,Model theory

346. Coditional inference and logic for interlligent systems: a theory of measure-free conditioning

پدیدآورنده :

کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (طهران)

موضوع : Expert systems (Computer science),Artificial intelligence,Probabilities,Logic, Symbolic and mathematical

رده :
QA
76
.
76
.
E95G67
1991

347. Cognitive reasoning

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Cognitive science,Logic, Symbolic and mathematical,Reasoning

رده :
QA9
.
A77
2010eb

348. Cognitive reasoning

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Logic, Symbolic and mathematical,Reasoning,Cognitive science

رده :
QA9
.
A57
2010

349. Cognitive reasoning: a formal approach

پدیدآورنده :

کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)

موضوع : Logic, Symbolic and mathematical,Reasoning,Cognitive science

رده :
511
.
3
A618C
2010

350. Cognitive reasoning : a formal approach

پدیدآورنده :

کتابخانه: (هرمزکان)

موضوع : Logic, Symbolic and mathematical,Reasoning,Cognitive science

351. Cognitive reasoning : a formal approach

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Logic, Symbolic and mathematical,، Reasoning,، Cognitive science

رده :
QA
9
.
A57C6

352. Collected Works

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Logic, Symbolic and Mathematical. ;

353. Collected logical works

کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)

موضوع : Logic, Symbolic and mathematical,Cognition

رده :
164
Bo-C

354. Collected works /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical

رده :
B4691
.
L442
E5
1991

355. Collected works

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Logic, Symbolic and mathematical

رده :
B
4691
.
L442
E5
1991

356. Collected works

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه شهركرد (جهار محال و بختیاري)

موضوع : Logic, symbolic and mathematical

357. Collected works

پدیدآورنده :

کتابخانه: كتابخانه دانشگاه مفيد (قم)

موضوع : ، Logic, Symbolic and mathematical

رده :
QA9
.
G5313
1986

358. Collected works

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Collected works ، Logic, Symbolic and mathematical

رده :
QA
9
.
G5313

359. Collected works

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Mathematical physics,، Logic, Symbolic and mathematical,، Physics - Philosophy

رده :
QC
19
.
3
.
P46
2011

360. Collected works,Selections. English. 1991

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Logic, Symbolic and mathematical

رده :
B
4691
.
L442
.
E5
1991